@ARTICLE{SoaresV04, author = {Inali Wisniewski Soares and Silvia Regina Vergilio}, title = {Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing}, journal = {Journal of Electronic Testing: Theory and Applications}, year = {2004}, month = {August}, volume = {20}, number = {4}, pages = {439-445} }